An Object-Oriented Multiscale Verification Scheme

Oaklisp: An Object-Oriented Dialect of Scheme

Modelsaz: An Object-Oriented Computer-Aided Modeling Environment

Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...

An Object-Oriented Framework for the Formal Verification of Processors

We propose an object-oriented approach for the formal veri-cation of processors. This approach has been validated on signiicant applications. It is based on a class hierarchy that provides the basic components to describe processors at any abstraction level, and to specify veriications to execute. The originality of our method is to combine an object-oriented model (to ensure genericity) and a ...

An Embedded System's Design Verification Using Object-Oriented Simulation

The ability for the embedded system designer to model and simulate proposed designs prior to implementation is increasingly valuable in today’s competitive market place. Simulation-based design is a methodology that uses the virtual prototype as a means of producing consistent and reduced design time. This paper presents this approach in the context of an automotive embedded system application....

An Object-Oriented Modeling Scheme for Distributed Applications

A modeling approach is here introduced for distributed applications. During the last years computer networks have dominated the world, forcing the development of applications operating in a network environment. Since new technologies, as WWW, middleware and co-operative software emerged, distributed applications functionality became rather complex and the requirements from the underlying networ...